docker exec -it pintos bash